Research Directions on Model-Based Metamorphic Testing and Verification
نویسنده
چکیده
Model-based software testing generally refers to test case selection and result evaluation based on a behavioral model of the target software. It may not, however, be possible to evaluate test results in some situations. For embedded software in a real-time environment, for instance, the results may only appear in a fraction of a second and cannot be observed by the tester. In this paper, we discuss the research opportunities for such situations despite the challenges.
منابع مشابه
On the integration of metamorphic testing and model checking
Metamorphic testing, an innovative software testing technique, generates test cases based on domain specific properties. Model checking is a technique that verifies software designs against system properties. Motivated by the fact that both techniques are based on some properties of software under development, we investigate how to integrate metamorphic testing and model checking. This paper wi...
متن کاملMT4WS: an automated metamorphic testing system for web services
The use of web services has been growing significantly, with increasingly large numbers of applications being implemented through the web. A difficulty associated with this development is the quality assurance of these services, specifically the challenges encountered when testing the applications – amongst other things, testers may not have access to the source code, and the correctness of the...
متن کاملVerification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver
It is often difficult to verify the solutions of computationally intensive mathematical optimization problems. Metamorphic testing is a technique to verify software test output even when a complete testing oracle is not present. We apply metamorphic testing to a classic optimization problem, the quadratic assignment problem (QAP). A number of metamorphic relations for the QAP are described in d...
متن کاملMetamorphic Runtime Checking of Non-Testable Programs
Challenges arise in assuring the quality of applications that do not have test oracles, i.e., for which it is impossible to know what the correct output should be for arbitrary input. Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of these “non-testable programs”. In metamorphic testing, if test input x produces output f (x), specif...
متن کاملA Machine Learning Based Framework for Verification and Validation of Massive Scale Image Data
Big data validation and system verification are crucial for ensuring the quality of big data applications. However, a rigorous technique for such tasks is yet to emerge. During the past decade, we have developed a big data system called CMA for investigating the classification of biological cells based on cell morphology that is captured in diffraction images. CMA includes a group of scientific...
متن کامل